{ bar : Type, foo : Natural }
